ISIS[1]

A dialect of JOSS.